On state classes and their dynamic semantics
نویسندگان
چکیده
We introduce state classes, a construct to program objects that can be safely concurrently accessed. State classes model the notion of object’s state (intended as some abstraction over the value of fields) that plays a key role in concurrent object-oriented programming (as the state of an object changes, so does its coordination behavior). We show how state classes can be added to Java-like languages by presenting STATEJ, an extension of JAVA with state classes. The operational semantics of the state class construct is illustrated both at an abstract level, by means of a core calculus for STATEJ, and at a concrete level, by defining a translation from STATEJ into JAVA.
منابع مشابه
Reverse Engineering of Network Software Binary Codes for Identification of Syntax and Semantics of Protocol Messages
Reverse engineering of network applications especially from the security point of view is of high importance and interest. Many network applications use proprietary protocols which specifications are not publicly available. Reverse engineering of such applications could provide us with vital information to understand their embedded unknown protocols. This could facilitate many tasks including d...
متن کاملDynamic Categorization of Semantics of Fashion Language: A Memetic Approach
Categories are not invariant. This paper attempts to explore the dynamic nature of semantic category, in particular, that of fashion language, based on the cognitive theory of Dawkins’ memetics, a new theory of cultural evolution. Semantic attributes of linguistic memes decrease or proliferate in replication and spreading, which involves a dynamic development of semantic category. More specific...
متن کاملFormal Semantics of Inheritance and Object Substitutability
In this paper we study the problem of semantic substitutability of objects. First we give semantics of classes, objects and inheritance in presence of dynamic binding. For this purpose we extend Cook and Palsberg's denotational semantics of stateless classes and inheritance by adding state. We build our theory on the basis of reenement calculus, which is a logic framework for reasoning about co...
متن کاملMore Results on Dynamic Cumulative Inaccuracy Measure
In this paper, borrowing the intuition in Rao et al. (2004), we introduce a cumulative version of the inaccuracy measure (CIM). Also we obtain interesting and applicable properties of CIM for different cases based on the residual, past and interval lifetime random variables. Relying on various applications of stochastic classes in reliability and information theory fields, we stu...
متن کاملThe Influence of Socio-Economic Variables of Farmers on their Choice of Cassava Varieties in Kogi State, Nigeria.
This study examined the influence of socioeconomic variables of farmers on their choice of cassava varieties in Kogi State of Nigeria. A total of 360 cassava farmers were selected through multi-stage random sampling procedure. Data collected through structured questionnaire were analyzed using descriptive statistics, customer-buying behavioral model and dynamic programming model. The results sh...
متن کامل